Scalability vs. Development Effort for Multiprocessor Operating System Kernels
نویسندگان
چکیده
With multiprocessors becoming increasingly common, many operating systems have to be adapted to work with the multiprocessor systems. In this paper, we present a categorization of porting methods for multiprocessor operating systems. We also perform a case study of the evolution of multiprocessor support for the Linux kernel, both in terms of performance and implementation complexity.
منابع مشابه
Performance and Implementation Complexity in Multiprocessor Operating System Kernels
The increasing use of multiprocessor computers require operating system adaptations to take advantage of the computing power. However, porting an operating system kernel to run on a multiprocessor can be very difficult because of a large code base, concurrency issues when dealing with multiple threads of execution, and limited tool support for development. Likewise, it can be difficult to obtai...
متن کاملDesign and Benchmarking of Real-Time Multiprocessor Operating System Kernels
Multiprocessor architectures, operating systems and real-time technologies are all interesting and highly advanced topics. Real-time demands inject an additional correctness criterion into computer systems. It is not just the result that is important, timing issues also have to be considered. A multiprocessor system is able to provide more performance than today’s fastest single processor solut...
متن کاملThe Clustered Multikernel: An Approach to Formal Verification of Multiprocessor OS Kernels
Operating-system kernels are critical software components in computer systems. Building secure, safe and reliable computer systems is facilitated by having strong kernel correctness guarantees. Such guarantees can be obtained by formally verifying a kernel down to the implementation level. Kernel verification has attracted much research interest. For example, the L4.verified project has proved ...
متن کاملTools , techniques , and trade - offs when porting large software systems to new environments
Computer hardware and software evolve very fast. With the advent of chip-multiprocessors and symmetric multithreading, multiprocessor hardware configurations are becoming prevalent. For software, new hardware and requirements such as security, performance and maintainability drive the development of new runtime environments, virtual machines and programming methodologies. These trends present p...
متن کاملA Survey of Multiprocessor Operating System Kernels (DRAFT)
Multiprocessors have been accepted as vehicles for improved computing speeds, cost/performance, and enhanced reliability or availability. However, the added performance requirements of user programs and functional capabilities of parallel hardware introduce new challenges to operating system design and implementation. This paper reviews research and commercial developments in multiprocessor ope...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005